.monaco-quick-open-widget{font-size:13px}